Frank de Boer: Z-Libraryで検索

知識と文化への入り口。誰にでもアクセス可能です。

Don't use scam websites

フィルターを適用する

完全一致

完全一致

本 (38)
一番人気本
リスト
- リスト
- 表

1

Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

年:

2009

言語:

english

ファイル:

PDF, 2.10 MB

0 / 0

english, 2009

2

Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Frank de Boer, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Eduard Kamburjan

年:

2024

言語:

english

ファイル:

PDF, 14.13 MB

0 / 5.0

english, 2024

3

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Springer International Publishing;Springer

Frank de Boer, Antonio Cerone

年:

2020

言語:

english

ファイル:

PDF, 14.69 MB

0 / 0

english, 2020

4

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

年:

2009

言語:

english

ファイル:

PDF, 3.72 MB

0 / 0

english, 2009

5

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey ... Programming and Software Engineering)

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey ... Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine

年:

2009

言語:

english

ファイル:

PDF, 5.55 MB

0 / 0

english, 2009

6

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

年:

2010

言語:

english

ファイル:

PDF, 4.09 MB

0 / 0

english, 2010

7

Fostering Language Teaching Efficiency through Cognitive Linguistics

Fostering Language Teaching Efficiency through Cognitive Linguistics

De Gruyter Mouton

Sabine De Knop (editor), Frank Boers (editor), Antoon De Rycker (editor)

年:

2010

言語:

english

ファイル:

PDF, 2.73 MB

0 / 0

english, 2010

8

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew Myers (auth.), Gilles Barthe, Frank S. de Boer (eds.)

年:

2008

言語:

english

ファイル:

PDF, 2.74 MB

0 / 0

english, 2008

9

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Cambridge University Press

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

年:

2001

言語:

english

ファイル:

DJVU, 6.87 MB

0 / 0

english, 2001

10

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

年:

2007

言語:

english

ファイル:

PDF, 3.18 MB

0 / 0

english, 2007

11

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

年:

2004

言語:

english

ファイル:

PDF, 7.29 MB

0 / 0

english, 2004

12

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

年:

2010

言語:

english

ファイル:

PDF, 4.20 MB

0 / 0

english, 2010

13

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)

年:

2012

言語:

english

ファイル:

PDF, 5.59 MB

0 / 0

english, 2012

14

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Frank S. de Boer, Mohammad Mahdi Jaghoori (auth.), Paul Gastin, François Laroussinie (eds.)

年:

2010

言語:

english

ファイル:

PDF, 6.93 MB

0 / 0

english, 2010

15

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

年:

2013

言語:

english

ファイル:

PDF, 4.72 MB

0 / 0

english, 2013

16

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

年:

2008

言語:

english

ファイル:

PDF, 6.30 MB

0 / 0

english, 2008

17

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Springer-Verlag Berlin Heidelberg

Christine Mayr, Uwe Zdun, Schahram Dustdar (auth.), Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)

年:

2009

言語:

english

ファイル:

PDF, 4.48 MB

0 / 0

english, 2009

18

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Frank S. de Boer, Mohammad Mahdi Jaghoori (auth.), Paul Gastin, François Laroussinie (eds.)

年:

2010

言語:

english

ファイル:

PDF, 7.01 MB

0 / 0

english, 2010

19

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

Springer-Verlag Berlin Heidelberg

Christine Mayr, Uwe Zdun, Schahram Dustdar (auth.), Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)

年:

2009

言語:

english

ファイル:

PDF, 6.67 MB

0 / 0

english, 2009

20

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

年:

2009

言語:

english

ファイル:

PDF, 3.63 MB

0 / 0

english, 2009

21

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

年:

2013

言語:

english

ファイル:

PDF, 6.24 MB

0 / 0

english, 2013

22

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

年:

2009

言語:

english

ファイル:

PDF, 8.45 MB

0 / 0

english, 2009

23

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Springer International Publishing

Nikolaj Bjørner, Frank de Boer (eds.)

年:

2015

言語:

english

ファイル:

PDF, 14.28 MB

0 / 0

english, 2015

24

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

年:

2008

言語:

english

ファイル:

PDF, 7.96 MB

0 / 0

english, 2008

25

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

年:

2005

言語:

english

ファイル:

PDF, 3.81 MB

0 / 0

english, 2005

26

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

年:

2006

言語:

english

ファイル:

PDF, 3.85 MB

0 / 0

english, 2006

27

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Springer-Verlag Berlin Heidelberg

David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)

年:

2012

言語:

english

ファイル:

PDF, 6.30 MB

0 / 0

english, 2012

28

It's All About Coordination

It's All About Coordination

Springer International Publishing

Frank de Boer, Marcello Bonsangue, Jan Rutten

年:

2018

言語:

english

ファイル:

PDF, 8.34 MB

0 / 0

english, 2018

29

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

年:

2008

言語:

english

ファイル:

PDF, 4.93 MB

0 / 0

english, 2008

30

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Springer-Verlag Berlin Heidelberg

Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

年:

2003

言語:

english

ファイル:

PDF, 3.87 MB

0 / 0

english, 2003

31

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

年:

2004

言語:

english

ファイル:

PDF, 9.52 MB

0 / 0

english, 2004

32

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jurriaan Rot, Frank de Boer, Marcello Bonsangue (auth.), Farhad Arbab, Marjan Sirjani (eds.)

年:

2013

言語:

english

ファイル:

PDF, 8.06 MB

0 / 0

english, 2013

33

Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Jiří Wiedermann (auth.), Jos C. M. Baeten, Tom Ball, Frank S. de Boer (eds.)

年:

2012

言語:

english

ファイル:

PDF, 5.01 MB

0 / 0

english, 2012

34

Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Jiří Wiedermann (auth.), Jos C. M. Baeten, Tom Ball, Frank S. de Boer (eds.)

年:

2012

言語:

english

ファイル:

PDF, 5.28 MB

0 / 0

english, 2012

35

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)

年:

2013

言語:

english

ファイル:

PDF, 6.84 MB

0 / 0

english, 2013

36

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

年:

2010

言語:

english

ファイル:

PDF, 4.31 MB

0 / 0

english, 2010

37

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

年:

2006

言語:

english

ファイル:

PDF, 3.67 MB

0 / 0

english, 2006

38

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan (auth.), Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.)

年:

2010

言語:

english

ファイル:

PDF, 5.88 MB

0 / 0

english, 2010